Safety Functions on Commodity Hardware with Diversified Encoding

نویسندگان

  • Martin Süßkraut
  • André Schmitt
  • Jörg Kaienburg
چکیده

Currently, hardware designed and certified for safety-critical systems is one important building block for any safety-critical application. Such hardware provides the detection of execution errors. However, many modern safety-critical applications, like autonomous driving, require features and performance levels that are not available from safety-certified hardware. One solution to this problem is to use hardware that is not certified for safety-critical systems, for example consumergraded hardware, but that fulfills the feature and performance requirements. Additionally, a software solution provides the detection of execution errors. This paper introduces such a software solution called “Diversified Encoding with Coded Processing”. Due to its hardware-independence, this solution provides the flexibility to build safety-critical systems from non-safety-critical hardware components. This solution can be automated with a code transformation tool to further increase the flexibility.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

AN-Encoding Compiler: Building Safety-Critical Systems with Commodity Hardware

In the future, we expect commodity hardware to be used in safety-critical applications. However, in the future commodity hardware is expected to become less reliable and more susceptible to soft errors because of decreasing feature size and reduced power supply. Thus, software-implemented approaches to deal with unreliable hardware will be needed. To simplify the handling of value failures, we ...

متن کامل

Hardware error detection using AN-Codes

Due to the continuously decreasing feature sizes and the increasing complexity of integrated circuits, commercial off-the-shelf (COTS) hardware is becoming less and less reliable. However, dedicated reliable hardware is expensive and usually slower than commodity hardware. Thus, economic pressure will most likely result in the usage of unreliable COTS hardware in safety-critical systems. The us...

متن کامل

ANB- and ANBDmem-Encoding: Detecting Hardware Errors in Software

It is expected that commodity hardware is becoming less reliable because of the continuously decreasing feature sizes of integrated circuits. Nevertheless, more and more commodity hardware with insufficient error detection is used in critical applications. One possible solution is to detect hardware errors in software using arithmetic AN-codes. These codes detect hardware errors independent of ...

متن کامل

Automatic Generation of Diversified Program Variants Optimized to Detect Hardware Faults

A virtual duplex system can be used to increase safety without the use of structural redundancy on a single machine. If a program P is calculating a given function f, then a virtual duplex system contains two variants Pa and Pb of P which are calculating the diverse functions fa and fb , respectively. If no error occurs in the process of designing and executing Pa and Pb then f = fa = fb holds....

متن کامل

Parallelizing Software-Implemented Error Detection

Because of economic pressure, more commodity hardware with insufficient error detection is used in critical applications. Moreover, it is expected that commodity hardware is becoming less reliable because of the continuously decreasing feature size. Thus, we expect that software-implemented approaches to deal with unreliable hardware will be needed. Arithmetic codes are well suited for this pur...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2015